-recursive function - PDFSEARCH.IO - Document Search Engine

-recursive function
Results: 178

#	Item
171	PDF Document Add to Reading List Source URL: www.ams.org Language: English - Date: 2006-10-06 14:59:22 Mathematics Computer science Recursively enumerable set Turing reduction Computable function Recursive set Turing degree Computability Numbering Computability theory Theoretical computer science Theory of computation
172	PDF Document Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2013-10-02 10:18:56 Computability theory Proof theory Model theory Functions and mappings Elementary function arithmetic Peano axioms Primitive recursive function Primitive recursive arithmetic Second-order arithmetic Mathematical logic Mathematics Logic
173	PDF Document Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2002-11-18 17:43:08 Model theory Functions and mappings Predicate logic Semantics Primitive recursive function First-order logic Interpretation Function Quantification Logic Mathematical logic Mathematics
174	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2008-06-27 06:21:18 Theory of computation Computer science Computable function Entscheidungsproblem Algorithm Primitive recursive function Mathematical logic Turing machine Computability Computability theory Mathematics Theoretical computer science
175	PDF Document Add to Reading List Source URL: wwwmayr.in.tum.de Language: English - Date: 2002-08-20 18:19:43 Logic Symbol Constructible universe Structure Interpretation Primitive recursive function Linear temporal logic Darboux frame Model theory Mathematical logic Mathematics
176	PDF Document Add to Reading List Source URL: cl-informatik.uibk.ac.at Language: English - Date: 2007-08-10 15:44:11 Formal languages Computer science Logic in computer science Computability theory Mathematical logic Rewriting Primitive recursive function Fold Abstract rewriting machine Theoretical computer science Recursion Mathematics
177	PDF Document Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2003-05-27 13:10:44 Function Finitary relation Surjective function Primitive recursive function Mathematics Functions and mappings Mathematical analysis
178	PDF Document Add to Reading List Source URL: books.nap.edu Language: English - Date: 2000-08-02 12:13:45 Mathematical logic Theoretical computer science Computable function Alfred Tarski Raphael M. Robinson Primitive recursive function Function Julia Robinson Numbering Computability theory Mathematics Theory of computation